books book philosophy of logic geometry authors logic educational software eastern philosophy calculus algebra math software philosophy mathematics philosophy books learning modern philosophy math author education